A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

a study of the fifth child and ben in the world by doris lessing in the light of julia kristevas psychoanalytic concepts

این مطالعه به بررسی عوامل روانشناختی کریستوادردو رمان دوربس لسینگ،فرزندبنجم و بن دردنیای واقعی می بردازد.موفقیت یا شکست کاراکترهادر تکمیل شکست تتیزی یه کمک بدر وهم از مهم ترین دغدغه محقق می باشد.به بررسی تحلیل روانشناختی تمامی کاراکترها خصوصا بن برداخته و به دنبال نشانه هایی از جامعه شیشه ای کریستوا می باشد.

15 صفحه اول

Classical Generalized Probabilistic Satisfiability

We analyze a classical generalized probabilistic satisfiability problem (GGenPSAT) which consists in deciding the satisfiability of Boolean combinations of linear inequalities involving probabilities of classical propositional formulas. GGenPSAT coincides precisely with the satisfiability problem of the probabilistic logic of Fagin et al. and was proved to be NP-complete. Here, we present a pol...

متن کامل

a contrastive study of rhetorical functions of citation in iranian and international elt scopus journals

writing an academic article requires the researchers to provide support for their works by learning how to cite the works of others. various studies regarding the analysis of citation in m.a theses have been done, while little work has been done on comparison of citations among elt scopus journal articles, and so the dearth of research in this area demands for further investigation into citatio...

Testing XML constraint satisfiability

In a previous paper, we have showed that Hybrid Modal Logic can be successfully used to model semistructured data and provides a simple and well suited formalism for capturing “well typed” references and of course a powerful language for expressing constraint. This paper builds on the previous one and provides a tableau proof technique for constraint satisfiability testing in the presence of sc...

متن کامل

a comparative study of the relationship between self-, peer-, and teacher-assessments in productive skills

تمایل به ارزیابی جایگزین و تعویض آن با آزمون سنتی مداد و کاغذ در سالهای اخیر افزایش یافته است. اکثر زبان آموزان در کلاس های زبان از نمره نهایی که استاد تعیین میکند ناراضی اند. این تحقیق جهت بررسی ارزیابی در کلاس های زبان انگلیسی به هدف رضایتمندی زبان آموزان از نمره هایشان انجام گرفته است که در آن نمرات ارائه شده توسط سه گروه ارزیاب (ارزیابی خود دانشجو، همسالان واستاد) در مهارت های تولید (تکل...

15 صفحه اول

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Theoretical Computer Science

سال: 2017

ISSN: 0304-3975

DOI: 10.1016/j.tcs.2016.04.041